сигнатура

  • 141БУЛЕВОЗНАЧНАЯ МОДЕЛЬ — модель, определяемая следующим образом. Пусть сигнатура нек poro языка 1 й ступени с одним сортом переменных, т. е. множество символов функций и предикатов. Б. м. наз. тройка где невырожденная булева алгебра, непустое множество и функция,… …

    Математическая энциклопедия

  • 142ДЕЙСТВИТЕЛЬНОЕ АЛГЕБРАИЧЕСКОЕ МНОГООБРАЗИЕ — множество A = X(R)действительных точек алгебраич. многообразия X, определенного над полем R действительных чисел. Д. а. м. наз. неособым, если X неособое алгебраич. многообразие. В этом случае Аявляется гладким многообразием, а его размерность… …

    Математическая энциклопедия

  • 143ЗЕЙФЕРТА МАТРИЦА — матрица, сопоставляемая узлам и зацеплениям для алгебраич. изучения их топологич. свойств. Названа в честь Г. Зейферта [1], применившего эту конструкцию для получения алгебраич. инвариантов одномерных узлов в S3. Пусть L=(Sn+2, ln )есть n мерное… …

    Математическая энциклопедия

  • 144КВАДРАТИЧНЫХ ФОРМ ПРИВЕДЕНИЕ — выделение в каждом классе квадратичных форм (к. ф.)над данным кольцом Rприведенных форм стандартных форм класса (одной или нескольких). Основной целью К. ф. п. является решение проблемы эквивалентности к. ф.: установить, эквивалентны над Rданные… …

    Математическая энциклопедия

  • 145КОНСТАНТА — в математической логике символ формального языка для обозначения некоторого фиксированного элемента (индивида), фиксированной операции или отношения на какой либо структуре, описываемой этим языком. В соответствии с этим различают индивидные… …

    Математическая энциклопедия

  • 146КОНСТРУКТИВНЫХ МОДЕЛЕЙ ТЕОРИЯ — один из разделов математики, возникший на границе моделей теории, алгебры и теории рекурсивных функций и связанный с изучением вопросов эффективности в моделях и алгебрах. Статья А. И. Мальцева Конструктивные алгебры [1] явилась первой обзорной… …

    Математическая энциклопедия

  • 147ОРБИТА — точки хотносительно группы G, действующей на множестве X(слева), множество Множество является подгруппой в G и наз. стабилизатором, или стационарной подгруппой точки хотносительно G. Отображение индуцирует биекцию между G/Gx и орбитой G(x). О.… …

    Математическая энциклопедия

  • 148ОРТОГОНАЛЬНАЯ ГРУППА — группа всех линейных преобразований n мерного векторного пространства Vнад полем k, сохраняющих фиксированную невырожденную квадратичную форму Q на V(т. е. таких линейных преобразований j, что Q(jn(v))=Q(v) для любого ). О. г. принадлежит к числу …

    Математическая энциклопедия

  • 149ПОЛИГОН — над моноидом R, R полигон, операнд, непустое множество с моноидом операторов. Точнее, непустое множество Аназ. левым П. над моноидом К, если для любых и определено произведение , причем и 1а=а для любых . Правый П. определяется аналогично.… …

    Математическая энциклопедия

  • 150ПРОПОЗИЦИОНАЛЬНАЯ ФОРМУЛА — выражение, построенное из пропозициональных переменных с помощью пропозициональных связок (и, возможно, нек рых других) по следующим правилам: 1) каждая пропозициональная переменная есть II. ф.; 2) если А, В суть П. ф., то , и суть также П. ф.… …

    Математическая энциклопедия

  • 151СТАЦИОНАРНОЙ ФАЗЫ МЕТОД — метод вычисления асимптотики интегралов от быстро осциллирующих функций: где большой параметр, ограниченная область, функция S(x) (фаза) действительная, функция f(х) комплексная, и Если т. е. f финитна, и фаза S(x)не имеет стационарных точек (т.… …

    Математическая энциклопедия

  • 152ТЯГОТЕНИЯ ТЕОРИЯ — раздел теории поля в теоретич. и математич. физике, широко использующий математич. методы исследования. Традиционным предметом Т. т. является изучение гравитационного взаимодействия между материальными объектами, сказывающегося на их движении и… …

    Математическая энциклопедия

  • 153ФИНСЛЕРОВА ГЕОМЕТРИЯ — метрическое обобщение римановой геометрии, возникающее вслед за введением общего определения длины вектора, не ограниченного частным римановым определением в виде корня квадратного из квадратичной формы. Развитие такого обобщения начинается с… …

    Математическая энциклопедия

  • 154ФУКСОВА ГРУППА — дискретная группа голоморфных преобразований (открытого) круга Кна сфере Римана, т. е. круга или полуплоскости на комплексной плоскости. Чаще всего в качестве Кберут верхнюю полуплоскость или единичный круг В первом случае элементы Ф. г. являются …

    Математическая энциклопедия

  • 155ХАРАКТЕРИСТИЧЕСКИЙ КЛАСС — естественное сопоставление с каждым расслоением (как правило, векторным) определенного типа нек рого класса когомологий базы В(наз. X. к. данного расслоения). Естественность означает, что X. к. расслоения, индуцированного отображением совпадает с …

    Математическая энциклопедия

  • 156ХОДЖА ТЕОРЕМА — 1) X. т. об индексе: индекс (сигнатура) компактного кэлерова многообразия Мкомплексной размерности 2пвычисляется по формуле где размерность пространства гармонических форм типа ( р, q )на М. Доказана У. Ходжем [1]. 2) X. т. о разложении… …

    Математическая энциклопедия

  • 157ЭНДОМОРФИЗМ — алгебраической системы отображение алгебраич. системы Ав себя, согласованное с ее структурой. А именно, если А алгебраич. система, сигнатура к рой состоит из множества символов операций и множества символов предикатов, то Э. должен удовлетворять… …

    Математическая энциклопедия

  • 158ЭРМИТОВА ФОРМА — на левом R модуле . отображение линейное по первому аргументу и удовлетворяющее условию При этом Л кольцо с единицей, снабженное инволютным антиавтоморфизмом J. В частности, является полуторалинейной формой на X. Сам модуль Xпри этом наз.… …

    Математическая энциклопедия

  • 159ЯНГА-МИЛЛСА ПОЛЕ — связность в главном расслоении над (псевдо) римановым многообразием, кривизна к рой удовлетворяет условию гармоничности (уравнению Янга Миллса). Я. М. п., наз. также калибровочными полями, используются в современной физике для описания физич.… …

    Математическая энциклопедия

  • 160АЛЕКСАНДР из Антиохии — на Меандре (нач. 2 в. до н. э.), древнегреческий скульптор, сын Мендида. Единственное известное произведение этого мастера статуя Венеры Милосской (см. ВЕНЕРА МИЛОССКАЯ), на пьедестале которой сохранилась фрагментированная сигнатура автора …

    Энциклопедический словарь